1. VDM' 87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, proceedings
Author: edited by D. Bjorner...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Computer software industry -- European Economic Community countries
Classification :
QA
76
.
L28
Vol
.
252
2. VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings
Author: VDM '78, )7891, Brussels, Belgium(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computer software - Development,Congresses ، Computer software industry - European Economic Community countries
Classification :
QA
76
.
L4
v
.
252
